ON THE CONSTRUCTIVE CONTRAPOSITIONS OF TWO AXIONS OF COUNTABLE CHOICEVELDMAN W.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 513-523; BIBL. 4 REF.Conference Paper

A NOTE ON BAR INDUCTION RULEHAYASHI S.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 149-163; BIBL. 3 P.Conference Paper

APPLICATIONS OF CONSTRUCTIVITYHYLAND JME.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 104; PP. 145-152; BIBL. 14 REF.Conference Paper

CONSTRUCTIVE APPROACH TO SUPERGRAVITYMILTON KA; URRUTIA LF; FINKELSTEIN RJ et al.1980; GEN. RELATIV. GRAVITAT.; GBR; DA. 1980; VOL. 12; NO 1; PP. 67-81; BIBL. 10 REF.Article

ITERATED INDUCTIVE FIXED-POINT THEORIES: APPLICATION TO HANCOCK'S CONJECTUREFEFERMAN S.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 109; PP. 171-196; BIBL. 16 REF.Conference Paper

NOTIONS OF CHOICE SEQUENCEFOURMAN MP.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 91-105; BIBL. 19 REF.Conference Paper

RECENT PROGRESS IN CONSTRUCTIVE APPROXIMATION THEORYBRIDGES DS.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 41-50; BIBL. 12 REF.Conference Paper

CONSTRUCTIVE MATHEMATICS AND COMPUTER PROGRAMMINGMARTIN LOEF P.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 104; PP. 153-175; BIBL. 12 REF.Conference Paper

MUTUAL TRANSFORMABILITY OF THE FORMULAS OF THE BASIC LANGUAGES OF CONSTRUCTIVE MATHEMATICAL LOGICGORGY FW; SAHYOUN AH.1981; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1981; VOL. 27; NO 6; PP. 489-494; BIBL. 9 REF.Article

RECURSIVE MODELS FOR CONSTRUCTIVE SET THEORIESBEESON M.1982; ANNALS OF MATHEMATICAL LOGIC; ISSN 0003-4843; NLD; DA. 1982; VOL. 23; NO 2-3; PP. 127-178; BIBL. 28 REF.Article

CONSTRUCTIVE AND RECURSIVE SCATTERED ORDER TYPESWATNICK R.1981; LECT. NOTES. MATH.; ISSN 0075-8434; DEU; DA. 1981; VOL. 859; PP. 312-326; BIBL. 7 REF.Article

CONSTRUCTIVE CATEGORY THEORYKANDA A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 563-577; BIBL. 9 REF.Conference Paper

CONSTRUCTIVE AND EUCLIDEAN FIELD THEORY AND CONNECTIONS TO STATISTICAL MECHANICSFROEHLICH J.1981; PHYS. SCR.; ISSN 0031-8949; SWE; DA. 1981; VOL. 24; NO 5; PP. 879-880; BIBL. 31 REF.Conference Paper

EXTENSIONALITY AND CHOICE IN CONSTRUCTIVE MATHEMATICSBEESON M.1980; PAC. J. MATH.; ISSN 0030-8730; USA; DA. 1980; VOL. 88; NO 1; PP. 1-28; BIBL. 13 REF.Article

CONSTRUCTIVE FOUNDATIONS OF POTENTIAL THEORY.CHAN YK.1977; PACIF. J. MATH.; U.S.A.; DA. 1977; VOL. 71; NO 2; PP. 405-418; BIBL. 3 REF.Article

CONSTRUCTIVE FIELD THEORYJAFFE A.1980; LECTURE NOTES PHYS.; DEU; DA. 1980; NO 116; PP. 200-207; BIBL. 9 REF.Conference Paper

SOME FRONTIERS IN CONSTRUCTIVE QUANTUM FIELD THEORY AND EQUILIBRIUM STATISTICAL MECHANICS.FROHLICH J.1978; LECTURE NOTES PHYS.; GERM.; DA. 1978; NO 80; PP. 37-58; BIBL. 3 P.; (MATH. PROBL. THEOR. PHYS. PROC., ROME; 1977)Conference Paper

MATRICE S EN THEORIE QUANTIQUE CONSTRUCTIVE DU CHAMPIVANOV SS; PETRINA D YA; REBENKO AL et al.1976; FIZ. ELEM. CHASTIC ATOMN. JADRA; S.S.S.R.; DA. 1976; VOL. 7; NO 3; PP. 647-686; ABS. ANGL.; BIBL. 1 P.Article

DIRICHLET FORMS AND DIFFUSION PROCESSES ON BANACH SPACESKUSUOKA S.1982; J. FAC. SCI., UNIV. TOKYO, SECT. 1A; ISSN 0040-8980; JPN; DA. 1982; VOL. 29; NO 1; PP. 79-95; BIBL. 10 REF.Article

THE CONSTRUCTIVE APPROACH TO NONLINEAR QUANTUM FIELD THEORY.SEGAL I.1976; MATH. PHYS. APPL. MATH.; NETHERL.; DA. 1976; VOL. 2; PP. 175-184; BIBL. 6 REF.; (MATH. PHYS. PHYS. MATH. INT. SYMP. PROC.; WARSAW; 1974)Conference Paper

AN ALTERNATIVE APPROACH TO CONSTRUCTIVE LAMBDA PHI ₄⁴ QUANTUM FIELD THEORY.BALABAN T; RACZKA R.1976; MATH. PHYS. APPL. MATH.; NETHERL.; DA. 1976; VOL. 2; PP. 203-228; BIBL. 14 REF.; (MATH. PHYS. PHYS. MATH. INT. SYMP. PROC.; WARSAW; 1974)Conference Paper

CONSTRUCTIVE MATHEMATICS. PROCEEDINGS OF THE NEW MEXICO STATE UNIVERSITY CONFERENCE HELD AT LAS CRUCES, NEW MEXICO, AUGUST 11-15, 1980RICHMAN F ED.1981; LECT. NOTES MATH.; ISSN 0075-8434; DEU; DA. 1981; NO 873; 354 P.; BIBL. DISSEM.Conference Paper

MAGNETOSTATIK ALS MARKOFF-FELD = MAGNETOSTATIQUE COMME CHAMP DE MARKOVLOEFFELHOLZ J.1981; WISS. Z. KARL-MARX-UNIV. LEIPZIG, MATH.-NAT. WISS. REIHE; ISSN 500135; DDR; DA. 1981; VOL. 30; NO 6; PP. 622-625; BIBL. 3 REF.Article

EXISTENCE OF THREE PHASES FOR A P(PHI )₂ MODEL OF QUANTUM FIELD.GAWEDZKI K.1978; COMMUNIC. MATH. PHYS.; GERM.; DA. 1978; VOL. 59; NO 2; PP. 117-142; BIBL. 14 REF.Article

ON THE STRUCTURE OF FIELDS AND ALGEBRAS ON NULL PLANES. II. FIELD STRUCTURE.DRIESSLER W.1977; ACTA PHYS. AUSTR.; AUTR.; DA. 1977; VOL. 46; NO 3; PP. 163-196; BIBL. 17 REF.Article